Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
781	ProofPower Compliance Tool — Proving VCs PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:53 Model theory Formal languages Logical consequence Theorems First-order logic SPARK Mathematical proof 0.999... Logic Mathematics Mathematical logic
782	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein → Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Proof theory Models of computation Computability theory Lambda calculus Natural deduction Ordinal number Curry–Howard correspondence Symbol Mathematical logic Theoretical computer science Mathematics
783	1 Proof in Z with ProofPower Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:50 First-order logic Model theory Predicate logic Function Lemmas Mathematics Mathematical logic Logic
784	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein Isar Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Mathematical logic Proof theory Logic Computer law Intellectual property law Creative Commons Mathematical proof Copyright law of the United States Natural deduction Open content Copyleft Law
785	Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon Add to Reading List Source URL: sydney.edu.au Language: English - Date: 2007-11-28 23:00:52 Mathematical proofs Mathematical induction Proof theory Quadrilateral Diagonal Polygon Binomial coefficient Dividing a circle into areas Mathematics Mathematical logic Inductive reasoning
786	Proof Obligations Preserving Compilation Extended abstract Gilles Barthe1 and Tamara Rezk1 and Ando Saabas2 1 2 Add to Reading List Source URL: set.ee Language: English - Date: 2005-11-02 06:27:15 Applied mathematics Formal methods Mathematical logic Program logic Predicate transformer semantics Assertion Stack-oriented programming language Postcondition Subroutine Theoretical computer science Mathematics Logic in computer science
787	JAF26/Weak Arithmetics Days Seville, June 11–13, 2007 Self-applied proof verification (Extended abstract)? Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:52:10 Philosophical logic Model theory Predicate logic Metalogic Mathematical proof Kripke semantics Correctness Quantification Function Logic Mathematics Mathematical logic
788	Random Testing in PVS Sam Owre SRI International, Computer Science Laboratory 333 Ravenswood Avenue, Menlo Park, CA 94025, USA [removed] Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:12 Automated theorem proving Lisp programming language Mathematical logic Randomness Prototype Verification System IP Proof assistant Dependent type Common Lisp Computing Software engineering Logic
789	Overview COMP 4161 NICTA Advanced Course Automatic Proof and Disproof Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Formal methods Computer law Copyleft Automated theorem proving Logic in computer science Isabelle SPASS KeY QuickCheck Theoretical computer science Mathematical software Software
790	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Formal methods Automated theorem proving Mathematical logic Constraint programming SPASS Isabelle Satisfiability Modulo Theories Mathematical proof Vampire Theoretical computer science Mathematics Applied mathematics

UPDATE